A theory and its metatheory in FS 0

Feferman has proposed FS0, a theory of finitary inductive systems, as a framework theory suitable for various purposes, including reasoning both in and about encoded theories. I look here at how practical FS0 really is. I formalise of a sequent calculus presentation of classical propositional logic in FS0 and show this can be used for work in both the theory and the metatheory. the latter is illustrated with a discussion of a proof of Gentzen's Hauptsatz

Charging and Growth of Fractal Dust Grains

The structure and evolution of aggregate grains formed within a plasma environment are dependent upon the charge acquired by the micron-sized dust grains during the coagulation process. The manner in which the charge is arranged on developing irregular structures can affect the fractal dimension of aggregates formed during collisions, which in turn influences the coagulation rate and size evolution of the dust within the plasma cloud. This paper presents preliminary models for the charge and size evolution of fractal aggregates immersed in a plasma environment calculated using a modification to the orbital-motion-limited (OML) theory. Primary electron and ion currents incident on points on the aggregate surface are determined using a line-of-sight (LOS) approximation: only those electron or ion trajectories which are not blocked by another grain within the aggregate contribute to the charging current. Using a self-consistent iterative approach, the equilibrium charge and dipole moment are calculated for the dust aggregate. The charges are then used to develop a heuristic charging scheme which can be implemented in coagulation models. While most coagulation theories assume that it is difficult for like-charged grains to coagulate, the OML_LOS approximation indicates that the electric potentials of aggregate structures are often reduced enough to allow significant coagulation to occur

WINDOW: A computer program for planning astronomical observations

A FORTRAN computer program called WINDOW was written to simplify the planning of astronomical observations of a number of objects in a limited time. The program lists the azimuths at 15 minute intervals of up to 20 objects while they are in a given range of elevation angles - the window - and gives the elevation angle of each object at its time of transit. This work was motivated by the need to use observing time efficiently on flights of NASA-Ames' Lear Jet and C-141 observatories; WINDOW permits the investigator to prepare preliminary flight plans. However, the program is suited to planning ground-based observations as well. The program and a sample flight plan are described

Scattering Theory for Quantum Hall Anyons in a Saddle Point Potential

We study the theory of scattering of two anyons in the presence of a quadratic saddle-point potential and a perpendicular magnetic field. The scattering problem decouples in the centre-of-mass and the relative coordinates. The scattering theory for the relative coordinate encodes the effects of anyon statistics in the two-particle scattering. This is fully characterized by two energy-dependent scattering phase shifts. We develop a method to solve this scattering problem numerically, using a generalized lowest Landau level approximation.Comment: 5 pages. Published version, with clarified presentatio

Evaluation of image quality in a Cassegrain-type telescope with an oscillating secondary mirror

A ray-trace analysis is described of aberrations and extreme rays of a Cassegrain-type telescope with a tilted secondary mirror. The work was motivated by the need to understand the factors limiting image quality and to assist in the design of secondary mirrors for three telescopes with oscillating secondary mirrors (OSM) used at Ames Research Center for high altitude infrared astronomy. The telescopes are a 31-cm-diameter Dall-Kirkham (elliptical primary, spherical secondary) flown aboard a Lear jet, a 71-cm balloon-borne Dall-Kirkham flown on the AIROscope gondola, and a 91-cm true Cassegrain (parabolic primary, hyperbolic secondary) flown aboard a C-141 jet transport. The optics for these telescopes were not designed specifically for OSM operation, but all have OSM's and all must be used with various detector configurations; therefore, a facility that evaluates the performance of a telescope for a given configuration is useful. The analytical expressions are summarized and results for the above systems are discussed. Details of the calculation and a discussion of the computer program are given in the appendices

Body dissatisfaction, appearance investment and wellbeing: how older obese men orient to 'aesthetic health' [forthcoming]

Most research on male body image to date has focused on young men using quantitative methods. The study reported here is based on qualitative interviews with a sample of older men (n = 30) on a weight management programme, and we asked them about body-related feelings. The interviews were all transcribed and analysed using thematic analysis. Our results indicate that although body weight was typically minimised, body image was a key concern, with many examples of body consciousness and body dissatisfaction evident. On the other hand, post-programme weight loss was associated with a transformative shift in body image, with the men emphasising enhanced body confidence, self-esteem and psychological wellbeing. We conclude by highlighting the need to recognise and address appearance issues and/as health concerns for middle-aged and older men

Tackling resistance: Emerging antimalarials and new parasite targets in the era of elimination [version 1; referees: 2 approved]

Malaria remains a significant contributor to global human mortality, and roughly half the world’s population is at risk for infection with Plasmodium spp. parasites. Aggressive control measures have reduced the global prevalence of malaria significantly over the past decade. However, resistance to available antimalarials continues to spread, including resistance to the widely used artemisinin-based combination therapies. Novel antimalarial compounds and therapeutic targets are greatly needed. This review will briefly discuss several promising current antimalarial development projects, including artefenomel, ferroquine, cipargamin, SJ733, KAF156, MMV048, and tafenoquine. In addition, we describe recent large-scale genetic and resistance screens that have been instrumental in target discovery. Finally, we highlight new antimalarial targets, which include essential transporters and proteases. These emerging antimalarial compounds and therapeutic targets have the potential to overcome multi-drug resistance in ongoing efforts toward malaria elimination